Add Bug#.

diff --git a/src/ChangeLog b/src/ChangeLog
index fe6e5504a5939c8a7f447923c1fe0150db0ff704..398217e8027fede10a802e7d43bf5b9a94fc4887 100644 (file)
--- a/src/ChangeLog
+++ b/src/ChangeLog
@@ -1,6 +1,6 @@
 2011-07-08  Paul Eggert  <eggert@cs.ucla.edu>
 
-       Fix minor problems found by static checking.
+       Fix minor problems found by static checking (Bug#9031).
        * chartab.c (char_table_set_range, map_sub_char_table)
        (uniprop_table_uncompress): Remove unused locals.
        (uniprop_table): Now static.